1、[计]代数逻辑
代数逻辑（algebraic logic） 在现代逻辑史上，是指以线形代数记法来表现推理过程的符号逻辑。
2、代数逻辑
...algebraic number 代数数algebraic logic 代数逻辑algebraic complement 代数余子式 ...
3、符号逻辑
...符号论 semiotics符号逻辑 symbolic logic; algebraic logic符号逻辑学 symbolic logic ...
algebraic logic functional language代数逻辑函数语言
calculator with algebraic logic代数逻辑计算器;翻译
algebraic logic of pocket calculator袖珍计算机的代数逻辑